-
1 formal calculus
Большой англо-русский и русско-английский словарь > formal calculus
-
2 formal calculus
Математика: формальное исчисление -
3 formal calculus
-
4 calculus
-
5 формальное исчисление
Большой англо-русский и русско-английский словарь > формальное исчисление
-
6 language
1) язык || языковой2) машинный язык; набор символов ( машины)•- application-oriented language
- applicative language
- APT programming language
- APT-based language
- artificial language
- assembler language
- assembly language
- block diagram language
- calculus language
- classificatory indexing language
- command language
- communication-information language
- computer language
- context-free language
- context-sensitive language
- control language
- controlled language
- conversational programming language
- data definition language
- data description language
- data general language
- data general programming language
- data manipulation language
- data retrieval language
- data storage description language
- database control language
- database language
- database programming language
- definition language
- description indexing language
- description language
- descriptor indexing language
- DGL interpretative programming language
- documentary language
- domain-dependent language
- domain-independent language
- extended language
- extensible language
- formal language
- formalized language
- general-purpose language
- generic language
- geometry technology language
- global programming language
- graphics picture drawing language
- high-level language
- highly coded language
- hybrid language
- implementation language
- index retrieval language
- indexing language
- information language
- information processing language
- information retrieval language
- informational language
- information-algorithmic language
- interactive language
- interactive reader language
- intermediary language
- intermediate language
- interpretive language
- interrogation language
- ISO language
- job command language
- job control language
- language of science
- logical-information language
- machine control language
- machine language
- machinist's language
- manipulator-oriented language
- manufacturing application language
- meaning-representation language
- meta language
- native language
- natural language
- NC programming language
- numerical command language
- object description language
- object-oriented language
- operational performance analysis language
- plain language
- powerful programming language
- predicate calculus language
- predicate language
- predicate logic language
- problem-oriented language
- procedural language
- processing language
- process-oriented language
- production language
- production-rule language
- program language
- programming language
- query input language
- query language
- representation language
- retrieval language
- robotics language
- robot-programming language
- robot-specialized language
- rule-based programming language
- shop-oriented language
- Siman simulation language
- simulation language
- source language
- special interface programming language
- specification language
- state language
- structured query language
- switching language
- task description language
- task level language
- task-oriented language
- uncontrolled language
- very high level languageEnglish-Russian dictionary of mechanical engineering and automation > language
-
7 FPC
1) Военный термин: Federal Port Controller, Federal Power Commission, facility power control, field press censorship, fixed-price contract, flight path control, for private circulation2) Техника: final processing center, fine particulate control, fixed paper capacitor, fixed point calculation, fixed program computer, flexible printed circuit, flight programmer computer, fuel pool cooling3) Шутливое выражение: Flaming Puppet Channel, Fucking Persian Canadian4) Математика: поправка для конечной совокупности (finite population correction)5) Экономика: free carrier named point6) Сокращение: Fast Pursuit Craft, Fish Protein Concentrate, fast patrol craft, Federal Power Commission (US)7) Электроника: Formal Propositional Calculus, (board) гибкая печатная плата8) Вычислительная техника: Floating Point Coprocessor, факсимильный персональный компьютер9) Транспорт: Fish Passage Center10) Деловая лексика: Fiscal Period Close11) Нефтегазовая техника Федеральная комиссия по энергетике (США, Federal Power Commission)12) Сетевые технологии: facsimile personal computer, факсимильный ПК13) Программирование: Four Packed Code14) Контроль качества: (Factory Production Control) Внутренний производственный контроль15) Безопасность: field per second16) Расширение файла: Floating Point Calculation17) Должность: Fire Protection Consulting18) NYSE. Florida Progress Corporation19) Программное обеспечение: Free Pascal Compiler20) Федеральное бюро расследований: Fingerprint Classification -
8 fpc
1) Военный термин: Federal Port Controller, Federal Power Commission, facility power control, field press censorship, fixed-price contract, flight path control, for private circulation2) Техника: final processing center, fine particulate control, fixed paper capacitor, fixed point calculation, fixed program computer, flexible printed circuit, flight programmer computer, fuel pool cooling3) Шутливое выражение: Flaming Puppet Channel, Fucking Persian Canadian4) Математика: поправка для конечной совокупности (finite population correction)5) Экономика: free carrier named point6) Сокращение: Fast Pursuit Craft, Fish Protein Concentrate, fast patrol craft, Federal Power Commission (US)7) Электроника: Formal Propositional Calculus, (board) гибкая печатная плата8) Вычислительная техника: Floating Point Coprocessor, факсимильный персональный компьютер9) Транспорт: Fish Passage Center10) Деловая лексика: Fiscal Period Close11) Нефтегазовая техника Федеральная комиссия по энергетике (США, Federal Power Commission)12) Сетевые технологии: facsimile personal computer, факсимильный ПК13) Программирование: Four Packed Code14) Контроль качества: (Factory Production Control) Внутренний производственный контроль15) Безопасность: field per second16) Расширение файла: Floating Point Calculation17) Должность: Fire Protection Consulting18) NYSE. Florida Progress Corporation19) Программное обеспечение: Free Pascal Compiler20) Федеральное бюро расследований: Fingerprint Classification -
9 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
10 mathematics
См. также в других словарях:
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Calculus ratiocinator — The Calculus Ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned characteristica universalis , a universal conceptual… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
Formal derivative — In mathematics, the formal derivative is an operation on elements of a polynomial ring which mimics the form of the derivative from calculus. Though they appear similar, the algebraic advantage of a formal derivative is that it does not rely on… … Wikipedia
Calculus of communicating systems — The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner in around 1980. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing… … Wikipedia
Formal power series — In mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of power series in settings that do not have natural notions of convergence. They are also useful, especially in combinatorics, for… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia